package ex50;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {

	public static void main(String[] args) throws IOException {
		
		InputStreamReader it = new InputStreamReader(System.in);
		BufferedReader in = new BufferedReader(it);
		
		int x = Integer.parseInt(in.readLine());
		String message;
		
		switch (x) {
			case 61:
				message = "Brasilia";
				break;
			case 71:
				message = "Salvador";
				break;
			case 11:
				message = "Sao Paulo";
				break;
			case 21:
				message = "Rio de Janeiro";
				break;
			case 32:
				message = "Juiz de Fora";
				break;
			case 19:
				message = "Campinas";
				break;
			case 27:
				message = "Vitoria";
				break;
			case 31:
				message = "Belo Horizonte";
				break;
			default:
				message = "DDD nao cadastrado";
				break;
		}
		
		System.out.println(message);
		
	}

}
